Abstract interpretation - PDFSEARCH.IO - Document Search Engine

Abstract interpretation
Results: 510

#	Item
461	A Cybernetic Interpretation of Quantum Mechanics Ross Rhodes [removed] Abstract This paper surveys evidence and arguments for the proposition that the universe as we know it is Add to Reading List Source URL: www.bottomlayer.com Language: English - Date: 2012-07-20 21:05:54 Interpretations of quantum mechanics Electron Double-slit experiment Wave Uncertainty principle Photon Matter wave Schrödinger equation Light Physics Quantum mechanics Introduction to quantum mechanics
462	THE p-ADIC L-FUNCTIONS OF EVIL EISENSTEIN SERIES ¨ BELLA¨ICHE AND SAMIT DASGUPTA JOEL Abstract. We compute the p-adic L-functions of evil Eisenstein series, showing that they factor as products of two Kubota–Leopoldt Add to Reading List Source URL: people.ucsc.edu Language: English - Date: 2012-04-18 11:37:46 Analytic number theory Modular forms Field theory Number theory P-adic number P-adic L-function Symbol Interpretation Hecke operator Mathematical analysis Mathematics Abstract algebra
463	Concept of luminosity Werner Herr and Bruno Muratori∗ CERN, Geneva, Switzerland ∗ now at Daresbury Laboratory, United Kingdom Abstract The performance of particle colliders is usually quantified by the beam energy Add to Reading List Source URL: cds.cern.ch Language: English - Date: 2009-04-17 09:45:52 E-Science Large Hadron Collider Luminosity Normal distribution Gaussian function Gaussian beam Interpretation Physics Science Physical quantities
464	Verified Abstract Interpretation Techniques for Disassembling Low-level Self-modifying Code Sandrine Blazy1 , Vincent Laporte1 , and David Pichardie2 1 Université Rennes 1 – IRISA – Inria Add to Reading List Source URL: people.irisa.fr Language: English - Date: 2014-06-04 05:25:47 Assembly languages Abstract interpretation Subroutine X86 assembly language Data type MIX Computer programming Computing Software engineering
465	Structuralism, Invariance, and Univalence∗ Steve Awodey March 4, 2014 Abstract The recent discovery of an interpretation of constructive type theory into abstract homotopy theory suggests a new approach to the Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-06-01 15:27:23 Homotopy theory Morphisms Category theory Algebraic structures Adjoint functors Isomorphism Groupoid Equivalence of categories Equality Abstract algebra Mathematics Algebra
466	An extended model of natural logic Bill MacCartney and Christopher D. Manning Abstract We propose a model of natural language inference which identifies valid inferences by their lexical and syntactic features, without f Add to Reading List Source URL: nlp.stanford.edu Language: English - Date: 2008-12-01 16:54:33 Semantics Model theory Logical consequence Predicate logic Entailment First-order logic Textual entailment Quantification Interpretation Logic Mathematical logic Philosophical logic
467	arXiv:1008.3145v1 [math.LO] 18 Aug 2010 Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-06-01 15:27:23 Algebraic structures Boolean algebra Model theory Algebraic logic Order theory Stone duality Interpretation Adjoint functors Sheaf Mathematics Mathematical logic Abstract algebra
468	A Practical and Flexible Flow Analysis for Higher-Order Languages J. Michael Ashley University of Kansas, Lawrence, Kansas and R. Kent Dybvig Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 1998-12-02 10:47:08 Greek alphabet Function Abstract interpretation Valuation Data-flow analysis Mathematics Algebraic geometry Circumflex
469	Logic without Model Theory Robert Kowalski Abstract Arguably, model theory serves two main functions: (1) to explain the relationship between language and experience, and (2) to specify the notion of logical consequence. Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2010-02-14 05:21:07 Semantics Logical syntax Meaning Entailment Interpretation Truth Model theory Modal logic Atomic sentence Logic Philosophical logic Philosophy of language
470	The Semantics of Predicate Logic as a Programming Language M. H. VAN E M D E N A N D R. A. K O W A L S K I Umverslty of Edinburgh, Edmburgh. Scotland ABSTRACT Sentences in first-order predicate logic can be usefully inte Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2006-07-10 08:56:03 Metalogic Term algebra Interpretation FO First-order logic Kripke semantics Combinatory logic Logic Mathematical logic Model theory

UPDATE